61. Finite automata : their algebras and grammars : Towards a theory of formal expressions
پدیدآورنده : Buchi, J. Richard, 4291-4891
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Sequential machine theory
رده :
QA
267
.
5
.
S4B83
1988
62. Finite state machine logic synthesis for complex programmable logic device
پدیدآورنده : / Robert Czerwinski and Dariusz Kania
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Sequential machine theory,Programmable logic devices,Electronic books
رده :
E-BOOK
63. Finite-state models for logical machines
پدیدآورنده : Hennie, Frederick C.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Sequential machine theory
رده :
QA
267
.
5
.
S4
.
H4
64. Finite-state models for logical machines
پدیدآورنده : HENNIE,FREDERICK C
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : SEQUENTIAL MACHINE THEORY
رده :
QA
267
.
5
.
S4
H4
65. Finite transition systems : semantics of communicating systems,Systemes de transitions finit et semantique des processus communicants. English
پدیدآورنده : Arnold, A.)Andre(
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Sequential machine theory
رده :
QA
267
.
5
.
A7613
1994
66. Formal properties of finite automata and applicatins : LITP Spring School of Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : Proceedings
پدیدآورنده : J.E. Pin )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Sequential machine theory
رده :
QA
76
.
L28
Vol
.
386
67. Formal properties of finite automata and applications : LITP Spring School on Theoretical Computer Science, Ramatuelle, France, May 23-27, 1988 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Sequential machine theory-- Congresses
رده :
QA
267
.
5
.
S4
.
E26
1988
68. Informations- logische Automaten. Automatisierung im Informations- und Bibliothekswesen
پدیدآورنده : Gutenmakher, L I
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Sequential machine theory,، Information storage and retreieval systems,، Electronic data processing
رده :
QA
76
.
G8315
69. Introduction to languages and the theory of computation
پدیدآورنده : / John C. Martin
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Sequential machine theory,Computable functions
رده :
QA267
.
5
.
S4M29
2003
70. Introduction to languages and the theory of computation
پدیدآورنده : Martin, John C.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Sequential machine theory , Computable functions
رده :
QA
267
.
5
.
S4
M29
1997
71. Introduction to languages and the theory of computation
پدیدآورنده : Martin, John C
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Sequential machine theory,Computable functions
رده :
QA
267
.
5
.
S4
M29
1991
72. Introduction to languages and the theory of computation
پدیدآورنده : Martin, John Calhoun, 5491-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Sequential machine theory,، Computable functions
رده :
QA
267
.
5
.
S4M3
1997
73. Introduction to switching and automata theory
پدیدآورنده : Harrison, Michael A.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Switching theory,، Sequential machine theory
رده :
QA
401
.
H33
74. Introduction to switching & automata theory
پدیدآورنده : HARRISON,MICHAEL A
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : SWITCHING THEORY , SEQUENTIAL MACHINE THEORY
رده :
QA
401
.
H33
75. Introduction to switching logic
پدیدآورنده : Sheng, Ching-lai
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Switching theory,Sequential machine theory
رده :
QA
401
.
S45
76. Introduction to the theory of computation
پدیدآورنده : Engeler, Erwin.
موضوع : ، Sequential machine theory,، Recursive functions,، Formal languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
77. Introduction to the theory of finite automata
پدیدآورنده : Kobrinskii, Natan Efimovich.
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Sequential machine theory
رده :
QA
267
.
5
.
S4
.
K613
78. Kategorien und Automaten
پدیدآورنده : Ehrig, Hartmut
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Categories )Mathematics(,، Sequential machine theory
رده :
QA
169
.
E37
79. Kombinatorische und sequentielle Netzwerke Grundlagen und Anwendungen den Automatentheorie. Mit 103 Abbildungen und 23 Tabellen
پدیدآورنده : Schulte, Dieter
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Sequential machine theory,، Algebra, Boollean
رده :
QA
76
.
E532
Bd
.
11